Die Property Specification Language (PSL; {deS} etwa Beschreibungssprache für Eigenschaften) wurde von Accellera entwickelt, um Eigenschaften oder Assertions beim Entwurf von Hardware Designs zu spezifizieren. Diese Eigenschaften können dann simuliert oder formal verifiziert werden. Seit September 2004 wurde die Standardisierung der Sprache durc...